Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
41	A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky’s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, DDarmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-11-12 04:58:44
42	Modeling set theory in homotopy type theory Jérémy Ledent Supervised by Bas Spitters & Freek Wiedijk Radboud University of Nijmegen, Netherlands May 19 to August 08, 2014 Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2015-04-28 15:21:22
43	Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren Add to Reading List Source URL: mawarren.net Language: English - Date: 2013-08-22 15:46:58 Homotopy theory Algebraic topology Algebraic structures Higher category theory Groupoid Functor Adjoint functors Sheaf Natural transformation Abstract algebra Category theory Mathematics
44	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
45	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:55 Topological spaces Contractible space Homotopy Connected space Continuous function Topology General topology Homotopy theory
46	A cubical set model of type theory Thierry Coquand (j.w.w. Marc Bezem and Simon Huber) TYPES, May 12, 2014 A cubical set model of type theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-13 04:25:19 Category theory Simplicial set Lambda calculus Constructible universe Algebraic topology Homotopy theory Mathematics
47	Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2014-05-15 22:28:42 Algebraic topology Homotopy group Homotopy Eilenberg–MacLane space Fundamental group CW complex Freudenthal suspension theorem N-connected Path Topology Homotopy theory Abstract algebra
48	πn (Sn ) in Homotopy Type Theory Daniel R. Licata1 and Guillaume Brunerie2 2 1 Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2013-12-09 00:31:04 Abstract algebra Homotopy group Loop space Homotopy Fundamental group Path CW complex Groupoid Infinite loop Topology Homotopy theory Mathematics
49	Academic Report / “Sachbericht” ([removed]–[removed]Hannes Leitgeb, April 23rd 2013 The Munich Center for Mathematical Philosophy (MCMP) enjoyed another lovely and exciting year[removed]From October 2012, Stephan Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English Mathematics Deontic logic Formal epistemology Steve Awodey Norm Modal fictionalism Linguistic modality Formal ethics Homotopy type theory Logic Mathematical logic Modal logic
50	arXiv:math/0602283v3 [math.AT] 10 Jun[removed]SYMMETRIC JOINS AND WEIGHTED BARYCENTERS SADOK KALLEL, RYM KAROUI Abstract. Given a space X, we study the homotopy type of Bn (X) the space obtained as the “union Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-06-10 21:19:56 Homotopy theory Algebraic topology Smash product Fundamental group Suspension Group action Pointed space Mapping cone Wedge sum Topology Abstract algebra Mathematics